integration sec^3x dx